determinate automaton

确定性自动机